On Some Mean Matrix Inequalites of Dynamical Interest

On logρ(AX)dX ≥ Cn log ‖A‖, where ‖A‖ denotes the operator norm of A (which equals the largest singular value of A), ρ denotes the spectral radius, and the integral is with respect to the Haar measure on On. The same result (with essentially the same proof) holds for the unitary group Un in place of the orthogonal group. The result does not hold in dimension 2.This answers questions asked in [3, 5, 4]. We also discuss what happens when the integral above is taken with respect to measure other than the Haar measure. We also give a simple proof that